Skip to content

fix: make CI green (CI #38)#7

Merged
codethor0 merged 1 commit intomainfrom
fix/ci38-green
Feb 10, 2026
Merged

fix: make CI green (CI #38)#7
codethor0 merged 1 commit intomainfrom
fix/ci38-green

Conversation

@codethor0
Copy link
Owner

Surgical fix: allow GitHub squash-merge commits in commit attribution policy. Commit 5f5ab14 (PR #6 squash) has author Thor Thor (noreply) and committer GitHub; policy test rejected it. Root cause: TestCommitAttribution did not allow GitHub squash-merge attribution. Fix: add allowlist for author=Thor Thor + codethor in email + committer=GitHub.

Made with Cursor

@codethor0 codethor0 merged commit 64b4514 into main Feb 10, 2026
5 checks passed
@codethor0 codethor0 deleted the fix/ci38-green branch February 10, 2026 18:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant